退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:信息系统模型检测工具的比较
Benoît Fraikin; Romain Chossart; Raphaël Chane-yack-fa; Mohammed Ouenzar;
机译:模型管理工具跨域模型一致性检查的系统文献综述
机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告
机译:两种建模工具对核反应堆或复杂系统评估的两个建模工具
机译:信息系统模型检查工具的比较
机译:用于面向服务的体系结构的模型检查工具的比较。
机译:FORESEE:用于系统比较转化药物反应建模流程的工具
机译:ObjectCheck:可执行的面向对象软件系统设计的模型检查工具
机译:开源工具是否可以媲美遗产系统? OCEaN与Orekit中潮汐模型的比较。
机译:模型比较设备,标识符生成设备,模型创建设备,模型比较工具,标识符生成工具和模型创建工具
机译:不同的BIM模型组件比较设备,BIM模型共享系统,不同的BIM模型组件比较方法和不同的BIM模型组件比较程序
机译:模型比较装置和模型比较工具
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。